and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
31	Diplom- / Master- / Bachelorarbeit Reliability of Electrical Circuits Technology Scaling enables us to achieve higher performance via smaller transistors and more complex logic circuits. However, to continue this trend, Add to Reading List Source URL: cesweb.itec.kit.edu Language: English - Date: 2016-01-07 02:48:34
32	Glutty theories and the logic of antinomies Jc Beall, Michael Hughes, and Ross Vandegrift December 26, 2013 1 Add to Reading List Source URL: entailments.net Language: English - Date: 2016-03-16 14:18:08
33	Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2017-08-14 08:48:29
34	R EASONING ABOUT F ICTION T OM S CHOONEN & F RANZ B ERTO Institute for Logic, Language, and Computation P REPRINT V ERSION University of Amsterdam Add to Reading List Source URL: tomschoonen.com Language: English - Date: 2017-12-10 11:03:53
35	Large Cardinals and Determinacy Peter Koellner September 12, 2011 The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-09-20 00:26:33
36	QUANTIFIER ELIMINATION IN C-ALGEBRAS CHRISTOPHER J. EAGLE, ILIJAS FARAH, EBERHARD KIRCHBERG, AND ALESSANDRO VIGNATI Abstract. The only C-algebras that admit elimination of quantifiers in continuous logic are C, C2 , C( Add to Reading List Source URL: www.math.yorku.ca Language: English - Date: 2015-06-13 12:59:49
37	Scientific Polarization Cailin O’Connor, James Owen Weatherall Department of Logic and Philosophy of Science University of California, Irvine Abstract Add to Reading List Source URL: cailinoconnor.com Language: English - Date: 2017-12-12 17:51:13
38	A PRESENTATION THEOREM FOR CONTINUOUS LOGIC AND METRIC ABSTRACT ELEMENTARY CLASSES WILL BONEY Abstract. In recent years, model theory has widened its scope to include metric structures by considering real-valued models w Add to Reading List Source URL: math.harvard.edu Language: English - Date: 2016-11-01 10:05:15
39	Topological dynamics and ergodic theory of automorphism groups Alexander S. Kechris Harvard; November 18, 2013 Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2013-11-27 16:54:48
40	The cognitive basis of arithmetic Helen De Cruz1 , Hansj¨org Neth2 , Dirk Schlimm3∗ 1 Centre for Logic and Analytic Philosophy, Katholieke Universiteit Leuven, Kardinaal Mercierplein 2, 3000 Leuven, Belgium Add to Reading List Source URL: helendecruz.net Language: English - Date: 2015-12-13 11:35:17

UPDATE